<html>
<body>
GUI components for some special objects (e.g., trees).
</body>
</html>
